So first time through the loop, the answer is a.Second time it-sorry, as it enters the loop, at the time it enter exits a the answer is a. 当第一次完成循环的时候,答案是a,第二次,对不起,在第一次进入循环的时候,答案就是。
It could run and give you the right answer, it could crash, it could loop forever, it could run and apparently give you the right answer. 它可能会正确运行,并返回给你一个正确的答案,它可能会崩溃,它可能会一直运行下去,它可能会运行并给你正确的答案。
The basic notions are loops and loop formulas of a logic program which initiated an alternative methodology to evaluate answer sets of a logic program. 逻辑程序的环和环公式思想开辟了求解其回答集的新方法。